退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用DiVinE模型检查器对生物系统动力学进行高性能分析
J. Barnat; L. Brim; D. Šafráne K;
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:使用DIVINE模型检查器为实时系统生成最佳测试用例
机译:生物学上现实的嗅觉系统模型的动态分析,应用和模拟实现。
机译:生物网络的离散动力系统模型的统计分析
机译:卡片检查器-患者和安全检查器:用于快速识别患者和生物材料样本以及其安全性的系统,用于从收集到阶段分析开始的analitiche前阶段的控制和管理
机译:动态系统的系统特征建模方法,该方法使用相似度分析修改提供给神经网络结构以进行因果分析的已知系统特征
机译:动态生物学系统中动态过程的可视化和分析,可用于确定GFP标记的过氧化物酶体的动力学,包括随时间和空间跟随物体并重建空间结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。